The Arrow Calculus (Functional Pearl)
نویسندگان
چکیده
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both toMoggi’s metalanguage for monads and to Paterson’s arrow notation.
منابع مشابه
The arrow calculus
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus with three constructs satisfying nine (somewhat idiosyncratic) laws; in contrast, the arrow calculus adds four constructs satisfying five laws (which fit two wel...
متن کاملThe Do-Calculus Revisited
The do-calculus was developed in 1995 to facilitate the identification of causal effects in non-parametric models. The completeness proofs of [Huang and Valtorta, 2006] and [Shpitser and Pearl, 2006] and the graphical criteria of [Tian and Shpitser, 2010] have laid this identification problem to rest. Recent explorations unveil the usefulness of the do-calculus in three additional areas: mediat...
متن کاملCategorifying Computations into Components via Arrows as Profunctors
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic component calculus for composing state-based systems as components—in fact, it is a categorified version of arrow that does so. In this paper, following the second author’s previous work with Heunen, Jacobs and Sokolova, we ...
متن کاملA Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. (Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes)
ions A first-order abstraction in the ρpg-calculus consists of two object port graphs for the leftand the right-hand sides, and an arrow node embedding the correspondence between the two sides. The arrow node has two particular ports, a handler port p0 and a black hole port bh. Some restrictions must be imposed on the connectivity of these two types of ports. A handler port can be connected onl...
متن کاملRadner Equilibria under Ambiguous Volatility
The present paper considers a class of general equilibrium economies when the primitive uncertainty model features uncertainty about continuous-time volatility. This requires a set of mutually singular priors, which do not share the same null sets. For this setting we introduce an appropriate commodity space and the dual of linear and continuous price systems. All agents in the economy are hete...
متن کامل